- beweisbare Aussage
- доказуемое высказывание
Немецко-русский математический словарь. 2013.
beweisbare Aussage
Смотреть что такое "beweisbare Aussage" в других словарях:
Beweisbare Sicherheit — ist ein Konzept in der modernen Kryptologie. In der Geschichte der Kryptographie gibt es viele Beispiele von Systemen, die von ihren Erfindern für sicher gehalten wurden, aber dennoch gebrochen werden konnten. Es ist daher wünschenswert, sich… … Deutsch Wikipedia
Completeness — Vollständigkeit ist eine Eigenschaft formaler Systeme bzw. Kalküle. Man unterscheidet semantische Vollständigkeit („Alles, was wahr ist, ist beweisbar.“), klassische Vollständigkeit („Eine der zwei Aussagen und ist stets beweisbar.“) und… … Deutsch Wikipedia
Barbier-Paradoxon — Das Barbier Paradoxon oder die Antinomie des Barbiers ist eine anschauliche Variante der Russellschen Antinomie und wurde von Bertrand Russell 1918 aufgestellt. Inhaltsverzeichnis 1 Begriff und Problem 2 Russells Lösung 3 Varianten des Paradoxons … Deutsch Wikipedia
Exponent (Mathematik) — Das Potenzieren ist wie das Multiplizieren seinem Ursprung nach eine abkürzende Schreibweise für eine wiederholte mathematische Rechenoperation. Wie beim Multiplizieren ein Summand wiederholt addiert wird, so wird beim Potenzieren ein Faktor… … Deutsch Wikipedia
Hochrechenen — Das Potenzieren ist wie das Multiplizieren seinem Ursprung nach eine abkürzende Schreibweise für eine wiederholte mathematische Rechenoperation. Wie beim Multiplizieren ein Summand wiederholt addiert wird, so wird beim Potenzieren ein Faktor… … Deutsch Wikipedia
Hochzahl — Das Potenzieren ist wie das Multiplizieren seinem Ursprung nach eine abkürzende Schreibweise für eine wiederholte mathematische Rechenoperation. Wie beim Multiplizieren ein Summand wiederholt addiert wird, so wird beim Potenzieren ein Faktor… … Deutsch Wikipedia
Null hoch null — Das Potenzieren ist wie das Multiplizieren seinem Ursprung nach eine abkürzende Schreibweise für eine wiederholte mathematische Rechenoperation. Wie beim Multiplizieren ein Summand wiederholt addiert wird, so wird beim Potenzieren ein Faktor… … Deutsch Wikipedia
Potenzen — Das Potenzieren ist wie das Multiplizieren seinem Ursprung nach eine abkürzende Schreibweise für eine wiederholte mathematische Rechenoperation. Wie beim Multiplizieren ein Summand wiederholt addiert wird, so wird beim Potenzieren ein Faktor… … Deutsch Wikipedia
Potenzrechnung — Das Potenzieren ist wie das Multiplizieren seinem Ursprung nach eine abkürzende Schreibweise für eine wiederholte mathematische Rechenoperation. Wie beim Multiplizieren ein Summand wiederholt addiert wird, so wird beim Potenzieren ein Faktor… … Deutsch Wikipedia
Potenzzahl — Das Potenzieren ist wie das Multiplizieren seinem Ursprung nach eine abkürzende Schreibweise für eine wiederholte mathematische Rechenoperation. Wie beim Multiplizieren ein Summand wiederholt addiert wird, so wird beim Potenzieren ein Faktor… … Deutsch Wikipedia
Zweierpotenz — Das Potenzieren ist wie das Multiplizieren seinem Ursprung nach eine abkürzende Schreibweise für eine wiederholte mathematische Rechenoperation. Wie beim Multiplizieren ein Summand wiederholt addiert wird, so wird beim Potenzieren ein Faktor… … Deutsch Wikipedia
